A graphical user interface for Boolean query specification

VQuery: a Graphical User Interface for Boolean Query Specification and Dynamic Result Preview

Textual query languages based on Boolean logic are common amongst the search facilities of on-line information repositories. However, there is evidence to suggest that the syntactic and semantic demands of such languages lead to user errors and adversely affect the time that it takes users to form queries. Additionally, users are faced with user interfaces to these repositories which are unresp...

A Graphical User Interface for Editing Formal Specification Objects

Perceiving the GUISE: Graphical User Interface Specification Extraction

We present a dynamic control-flow analysis and state classifier for graphical user interfaces. Search engines, end-user programming interfaces, and automated testers exploit such information, but are challenged by clientside and serverside scripts obscuring it: our analysis succeeds on popular web applications that contain both. We further motivate such analyses. First, we introduce a new type ...

A Graphical User Interface for Relax3d

The Laplace/Poisson solver Relax3d has been used extensively in cyclotron central region design and other accelerator and beam physics applications. It is typically run in an interactive mode where the user types in commands and parameters to initiate and control the solution process and to view or output the results. This paper describes a graphical user interface (GUI) that eliminates most of...

A Graphical User Interface for Setheo | Proposal |

The use of the theorem prover SETHEO is, like that of most theorem provers, a very complex subject and almost impossible for the novice or a casual user. In this paper we give a list of required features of a versatile graphical user-interface for SETHEO which allows to control SETHEO using graphical elements and to display the results in a graphical way. The exploration of requirements starts ...